Quantifying Information Leaks using Reliability Analysis † ˘ areanu ˘ Quoc-Sang Phan∗ Pasquale Malacaria∗ Corina S. Pas Marcelo d’Amorim‡

Source URL: www.eecs.qmul.ac.uk

• Systems engineering
• Reliability engineering
• Algorithm
• Information flow
• Side channel attack
• Systems science
• Applied mathematics
• Abstract interpretation
• Symbolic execution
• Quicken Interchange Format

Symbolic Execution as DPLL Modulo Theories Quoc-Sang Phan Queen Mary University of London Abstract

Source URL: www.eecs.qmul.ac.uk

• Constraint programming
• Automated theorem proving
• Logic in computer science
• Electronic design automation
• Formal methods
• Satisfiability Modulo Theories
• DPLL algorithm
• Boolean satisfiability problem
• Solver
• Theoretical computer science
• Applied mathematics
• Mathematics

Self-composition by Symbolic Execution Quoc-Sang Phan Queen Mary University of London Abstract

Source URL: www.eecs.qmul.ac.uk

Statistical Symbolic Execution with Informed Sampling ˘ areanu ˘ Corina S. Pas Carnegie Mellon Silicon Valley, NASA Ames

Source URL: www.iste.uni-stuttgart.de

• Statistical theory
• Bayesian inference
• Psychometrics
• Confidence interval
• Bayes factor
• Estimator
• Statistical hypothesis testing
• Monte Carlo method
• Symbolic execution
• Statistics
• Statistical inference
• Estimation theory

DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation Min Gyung Kang∗† Stephen McCamant† Pongsin Poosankam∗† Dawn Song† † UC Berkeley ∗ Carnegie Mellon University {mgkang,ppoosank}@cmu.edu

Source URL: bitblaze.cs.berkeley.edu

• Dataflow
• Symbolic execution
• Algorithm
• Information flow
• Dependence analysis
• Pointer
• Information
• Taint checking
• Computing
• Software engineering
• Parallel computing

15 Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution TIELEI WANG and TAO WEI, Peking University GUOFEI GU, Texas A&M University WEI ZOU, Peking University

Source URL: lenx.100871.net

• Software testing
• Error detection and correction
• Fuzz testing
• Checksum
• Cksum
• Sum
• Adler-32
• Hash function
• Transmission Control Protocol
• Computing
• Software
• System software

Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome,

Source URL: bitblaze.cs.berkeley.edu

• Predicate transformer semantics
• Program logic
• KeY
• IP
• Function
• Algorithm
• NP
• Symbolic execution
• Communications protocol
• Theoretical computer science
• Mathematics
• Applied mathematics

Puzzle-Based Automatic Testing: Bringing Humans into the Loop by Solving Puzzles Ning Chen and Sunghun Kim The Hong Kong University of Science and Technology Hong Kong, China

Source URL: www.cse.ust.hk

• Mathematics
• Test Data Generation
• Concolic testing
• Constraint satisfaction problem
• Symbolic execution
• Actor model
• Code coverage
• Fifteen puzzle
• Mutation testing
• Software testing
• Games
• Software engineering

Input Generation via Decomposition and Re-Stitching: Finding Bugs in Malware Juan Caballero Pongsin Poosankam

Source URL: bitblaze.cs.berkeley.edu

• Software testing
• Error detection and correction
• Software bugs
• Abstract interpretation
• Symbolic execution
• Malware
• Function
• Hash function
• Block cipher
• Mathematics
• Computing
• Computer programming